Géométrie algorithmique - De la théorie à la pratique,Des objets linéaires aux objets courbes. (Computational geometry - From theory to practice,From linear objects to curved objects)
نویسنده
چکیده
منابع مشابه
Design of the CGAL 3D Spherical Kernel and application to arrangements of circles on a sphere
This paper presents a cgal kernel for algorithms manipulating 3D spheres, circles, and circular arcs. The paper makes three contributions. First, the design of the kernel concept is developed, following the best practices for the design of kernels geared towards curved objects. Second, we show how two di erent frameworks can be combined: one for the general setting, and one dedicated to the cas...
متن کاملOn the Expected Size of the 2D Visibility Complex
We study the expected size of the 2D visibility complex of randomly distributed objects in the plane. We prove that the expected asymptotic number of free bitangents (which correspond to the 0-faces of the visibility complex) among unit discs or polygons of bounded aspect ratio is linear and exhibit bounds in terms of the density of the objects. We also make an experimental assessment of the si...
متن کاملILOG : vingt ans dans les objets, rétro et perspectives
De nombreux fronts se sont ouverts, souvent complémentaires. Front de la programmation : des objets lispiens tels que LeLisp et son inévitable MicroCeyx à Java et C#. Front de la modélisation et du raisonnement : de la première génération de systèmes centrés objets tels Kool, Smeci, FRL ou Sherpa aux règles métiers et aux modèles ontologiques tels que promus par le W3C. Front du Génie Logiciel ...
متن کاملVers une meilleure interopérabilité des données géographiques françaises sur le Web de données
Résumé : Les données géographiques sont cruciales pour une localisation précise et le geo-référencement de nombreux services qui sont disponibles sur notre planète. Au moment où le Web de données promeut l’idée d’avoir de plus en plus de données liées entre elles, il apparaît crucial de modéliser les données géographiques de manière efficace, en faisant usage de vocabulaires standards qui vont ...
متن کاملA Formalization of the Theory of Objects in Isabelle/HOL
We present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. In particular, we present (a) a formal model of objects and its operational semantics based on DeBruijn indices (b) a parallel reduction relation for objects (c) the proof of confluence for the theory of objects reusing Nipkow’s HOL-framework for the lambda calculus. Key-words:...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007